無矛盾性 (consistency)
無矛盾 - Wikipedia
Consistency - Wikipedia
形式體系
$ T
はその言語
$ L_T
で記述可能などんな命題も肯定と否定の兩方を證明できはしない。形式體系
$ T
は矛盾
$ \bot
を證明できない
$ T\cancel\vdash\bot
無矛盾性 (consistency)
を持たない論理を
矛盾許容論理
と呼ぶ